JVM versus CLR: a comparative study
نویسنده
چکیده
We present empirical evidence to demonstrate that there is little or no difference between the Java Virtual Machine and the .NET Common Language Runtime, as regards the compilation and execution of object-oriented programs. Then we give details of a case study that proves the superiority of the Common Language Runtime as a target for imperative programming language compilers (in particular GCC).
منابع مشابه
Practical, Dynamic Information-flow for Virtual Machines
For decades, secure operating systems have incorporated mandatory access control (MAC) techniques. Surprisingly, mobile-code platforms such as the Java Virtual Machine (JVM) and the .NET Common Language Runtime (CLR) have largely ignored these advances and have implemented a far weaker security that does not reliably track ownership and access permissions for individual data items. We have impl...
متن کاملCommon Language Runtime: a new virtual machine
Virtual Machines provide a runtime execution platform combining bytecode portability with a performance close to native code. An overview of current approaches precedes an insight into Microsoft CLR (Common Language Runtime), comparing it to Sun JVM (Java Virtual Machine) and to a native execution environment (IA 32). A reference is also made to CLR in a Unix platform and to techniques on how C...
متن کاملTowards a typed 3-address IR from ICode
ICode is great for JVM and CLR bytecode generation, but some optimizations are easier to express in terms of Jimple. Another use case (transformation into OO languages with restricted goto, most notably C#) is also easier to accomplish when starting from Jimple. These notes fall just short from offering a prototype for C# generation. Instead, we describe (a) previous work based on Jimple that c...
متن کاملModeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis
This work is part of a larger project [17] which aims at establishing some important properties of C] and CLR by mathematical proofs. Examples are the correctness of the bytecode verifier of CLR [11], the type safety (along the lines of the first author’s correctness proof [14, 15] for the definite assignment rules) of C], the correctness of a general compilation scheme. We reuse the method dev...
متن کاملA Project Summary High-Assurance Common Language Runtime
Component software platforms, such as the Java Virtual Machine (JVM) and Microsoft’s .NET Common Language Runtime (CLR), provide a secure virtual machine in which components developed independently and in different source languages can smoothly interoperate. Foundational Proof-Carrying Code (FPCC) and Certified Binaries (CB) are promising new technologies for building high-confidence software s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003